Type theory

Results: 3552



#Item
11Hammer for Coq: Automation for Dependent Type Theory Łukasz Czajka, University of Copenhagen Cezary Kaliszyk, University of Innsbruck http://cl-informatik.uibk.ac.at/cek/coqhammer/

Hammer for Coq: Automation for Dependent Type Theory Łukasz Czajka, University of Copenhagen Cezary Kaliszyk, University of Innsbruck http://cl-informatik.uibk.ac.at/cek/coqhammer/

Add to Reading List

Source URL: cl-informatik.uibk.ac.at

Language: English - Date: 2018-04-03 08:55:56
    12Dependent Session Types via Intuitionistic Linear Type Theory Bernardo Toninho Luís Caires

    Dependent Session Types via Intuitionistic Linear Type Theory Bernardo Toninho Luís Caires

    Add to Reading List

    Source URL: ctp.di.fct.unl.pt

    Language: English - Date: 2012-09-27 14:27:13
      13Introducing a New Project on The Combination of Substructural Logics and Dependent Type Theory Harley Eades III Computer Science, Augusta University Introduction. Over the course of the last thirty years interactive proo

      Introducing a New Project on The Combination of Substructural Logics and Dependent Type Theory Harley Eades III Computer Science, Augusta University Introduction. Over the course of the last thirty years interactive proo

      Add to Reading List

      Source URL: metatheorem.org

      Language: English - Date: 2018-08-14 14:33:44
        14Type Theory and Univalent Foundation Thierry Coquand Clermont-Ferrand, October 17, 2013 Type Theory and Univalent Foundation

        Type Theory and Univalent Foundation Thierry Coquand Clermont-Ferrand, October 17, 2013 Type Theory and Univalent Foundation

        Add to Reading List

        Source URL: www.cse.chalmers.se

        Language: English - Date: 2013-10-16 04:43:16
          15Lifting Problems in a Grothendieck Fibration Andrew Swan July 21, 2017 The notion of lifting problem is a central concept in homotopical algebra, as well as in the semantics of homotopy type theory. Given two maps m : U

          Lifting Problems in a Grothendieck Fibration Andrew Swan July 21, 2017 The notion of lifting problem is a central concept in homotopical algebra, as well as in the semantics of homotopy type theory. Given two maps m : U

          Add to Reading List

          Source URL: hott-uf.github.io

          Language: English - Date: 2018-08-13 11:55:33
            16Towards a Directed HoTT with Four Kinds of Variance Andreas Nuyts, Jesper Cockx, Dominique Devriese and Frank Piessens May 15, 2015 Homotopy type theory (HoTT) offers a constructive way of working with ∞-groupoids. Whe

            Towards a Directed HoTT with Four Kinds of Variance Andreas Nuyts, Jesper Cockx, Dominique Devriese and Frank Piessens May 15, 2015 Homotopy type theory (HoTT) offers a constructive way of working with ∞-groupoids. Whe

            Add to Reading List

            Source URL: hott-uf.gforge.inria.fr

            Language: English - Date: 2016-03-10 17:41:39
              17An introduction to Homotopy Type Theory Nicola Gambino University of Palermo Leicester, March 15th, 2013

              An introduction to Homotopy Type Theory Nicola Gambino University of Palermo Leicester, March 15th, 2013

              Add to Reading List

              Source URL: www1.maths.leeds.ac.uk

              Language: English - Date: 2013-05-09 12:23:24
                18Constructive Algebra in Functional Programming and Type Theory Master of Science Thesis in the Programme Computer Science – Algorithms, Languages and Logic 1234567895AB45C

                Constructive Algebra in Functional Programming and Type Theory Master of Science Thesis in the Programme Computer Science – Algorithms, Languages and Logic 1234567895AB45C

                Add to Reading List

                Source URL: web.student.chalmers.se

                Language: English - Date: 2010-08-22 03:55:59
                  19Constructive semantics of Univalence Dependent type theory Γ, ∆

                  Constructive semantics of Univalence Dependent type theory Γ, ∆

                  Add to Reading List

                  Source URL: www.cse.chalmers.se

                  Language: English - Date: 2016-05-01 04:38:08